Precise Quantitative Information Flow Analysis— A Symbolic Approach Vladimir Klebanov Karlsruhe Institute of Technology, Germany Abstract

Source URL: formal.iti.kit.edu

SAT-based Analysis and Quantification of Information Flow in Programs Vladimir Klebanov1 , Norbert Manthey2 , and Christian Muise3 1 Karlsruhe Institute of Technology (KIT) Am Fasanengarten 5, 76131 Karlsruhe, Germany

Source URL: formal.iti.kit.edu

HeiKaMEtrics Friday, 10th of July 2015, KIT Campus Süd, Bdgroom:00 – 09:40 Testing Against Local Asymmetry in Tail Dependence Functions Carsten Bormann (Karlsruhe Institute of Technology) Discussant: Al

Source URL: statistik.econ.kit.edu

1 Resolving the Connectivity-Throughput Trade-Off in Random Networks Ralph Tanbourgi, Communications Engineering Lab (CEL), Karlsruhe Institute of Technology (KIT), Germany

Source URL: www.cel.kit.edu

• Wireless
• Wireless sensor network
• Information theory
• Network performance
• Routing protocols
• Geographic routing
• Wireless ad-hoc network
• Throughput
• Channel
• Wireless networking
• Telecommunications engineering
• Technology

Cooperative Relaying in a Poisson Field of Interferers: A Diversity Order Analysis Ralph Tanbourgi, Holger J¨akel and Friedrich K. Jondral Communications Engineering Lab, Karlsruhe Institute of Technology, Germany Email

Source URL: www.cel.kit.edu

• Cooperative diversity
• Radio resource management

The Institute of Meteorology and Climate Research (IMK-TRO) at the Karlsruhe Institute of Technology (KIT) offers a PhD/PostDoc position „High Resolution Ice Sheet Modelling” within the project “From the Last Inter

Source URL: www.imk-tro.kit.edu

• Scientific modelling
• Ice sheet
• Physical geography
• Historical geology
• Epistemology
• Glaciology
• Ice sheet model
• Karlsruhe Institute of Technology

Microsoft Word - Einladung-text-englisch-kh.docx

Source URL: www.klima-umwelt.kit.edu

• Academia
• Research institutes
• Helmholtz Association of German Research Centres
• Eggenstein-Leopoldshafen
• Karlsruhe Institute of Technology
• Hermann von Helmholtz
• Cloud seeding
• The Cyprus Institute
• Baden-Württemberg
• States of Germany
• Karlsruhe
• Baden-Württemberg

Karlsruhe Institute of Technology (KIT) combines the mission of a University with that of a National Research Center of the Helmholtz Association. Counting more than 9000 employees, KIT is one of the leading research cen

Source URL: www.ipq.kit.edu

• Academia
• Knowledge
• Education
• ICFO
• Optics
• Photonics
• Karlsruhe Institute of Technology

Karlsruhe Institute of Technology (KIT) combines the mission of a University with that of a National Research Center of the Helmholtz Association. Counting more than 9000 employees, KIT is one of the leading research cen

Source URL: www.ipq.kit.edu

• Academia
• Education
• Knowledge
• Optics
• Photonics
• Karlsruhe Institute of Technology

Using Filter Bank Multicarrier Signals for Radar Imaging Sebastian Koslowski, Martin Braun and Friedrich K. Jondral Communications Engineering Lab, Karlsruhe Institute of Technology (KIT), Germany sebastian.koslowski@kit

Source URL: www.cel.kit.edu

• Multiplexing
• Orthogonal frequency-division multiplexing
• Software-defined radio
• Broadcast engineering
• Radio resource management
• Cyclic prefix
• Modulation
• Symbol rate
• Multipath propagation
• Telecommunications engineering
• Electronic engineering
• Data transmission